COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	\|\\M0BASL30\M1BASI30\M2BASB30\M3FIX25\M4MICR25\.
C00008 00003	\C\F2Publications\F0
C00021 ENDMK
C⊗;
\|\\M0BASL30;\M1BASI30;\M2BASB30;\M3FIX25;\M4MICR25;\.
\F4Artificial Intelligence Laboratory\CJune 1977\.\RJohn McCarthy, Director
Stanford University\R Les Earnest, Assoc. Dir.
Stanford, California 94305


\C\F2Artificial Intelligence and the Stanford A.I. Lab.

\J\F1This is a general article on artificial intelligence and the Stanford
Artificial Intelligence Laboratory.  We hope it answers your questions.

\F1Artificial intelligence\F0 is the name given to the study
of intellectual processes and how computers can be made to carry them
out.  Most workers in the field believe that it will be possible to program
computers to carry out any intellectual process now done by humans.
However, almost all agree that we are not very close to this goal
and that some fundamental discoveries must be made first.  Therefore,
work in AI includes trying to analyze intelligent behavior into more
basic data structures and processes, experiments to determine if
processes proposed to solve some class of problems really work, and
attempts to apply what we have found so far to practical problems.

The idea of intelligent machines is very old in fiction, but
present work dates from the time stored program electronic computers
became available starting in 1949.  Any behavior that can be carried
out by any mechanical device can be done by a computer, and getting a
particular behavior is just a matter of writing a program unless the
behavior requires special input and output equipment.  It is perhaps
reasonable to date AI from A.M. Turing's 1950 paper [1].  Newell,
Shaw and Simon started their group in 1954 and the M.I.T. Artificial
Intelligence Laboratory was started by McCarthy and Minsky in 1958.\.

\C\F2Board Games\F0
\JEarly work in AI included programs to play games like chess,
checkers, kalah, and go.  The success of these programs was related
to the extent that human play of these games makes use of mechanisms that
we didn't understand well enough to program.  If the game requires only
well understood mechanisms, computers play better than humans.  Kalah
is such a game.  The best rating obtained in tournament play by a
chess program so far is around 2070 which is "expert" level.
The chess programmers hope to do better.\.

\C\F2Formal Reasoning\F0
\JAnother early problem domain was theorem proving in logic.  This
is important for two reasons.  First, it provides another area in which
our accomplishments in artificial intelligence can be compared with
human intelligence.  Again the results obtained depend on what intellectual
mechanisms the theorem proving requires, but in general the results have
not been as good as with game playing.  This is partly because the
mathematical logical systems available were designed for proving
metatheorems about rather than for proving theorems in.

The second reason why theorem proving is important is that
logical languages can be used to express what we wish to tell the
computer about the world, and we can try to make it reason from this
what it should do to solve the problems we give it.  It turns out to
be quite difficult to express what humans know about the world in the
present logical languages or in any other way.  Some of what we know
is readily expressed in natural language, but much basic information
about causality and what may happen when an action is taken is not
ever explicitly stated in human speech.  This gives rise to the
representation problem of determining what is known in general about
the world and how to express it in a form that can be used by the
computer to solve problems.  At this time, the representation problem
seems to be the key problem in artificial intelligence.\.
\C\F2Publications\F0
\JThe results of current research in artificial intelligence is
published in the journal \F1Artificial Intelligence\F0, and in more
general computer science publications such as those of the ACM and
the British Computer Society.  The ACM has a special interest group
on artificial intelligence called SIGART which publishes a newsletter.
Every two years there is an international conference on artificial
intelligence which publishes a proceedings.  The fourth and most
recent was held in the summer of 1975 and the proceedings
are available [2]; there will be another at MIT on August 22-25, 1977.

Some current books and papers are listed at the end of this writeup
[3, 4, 5, 6].  The Stanford Artificial Intelligence Laboratory has a
series of research reports (A.I. Memos) which are included in the
reports put out by the Computer Science Department.  One can get on
the list to receive announcements of reports by writing to them [7].
A ten-year summary of A.I. Lab. research with abstracts of all reports
is available [8], as well as a summary of recent work [9].
We also have some 16mm films for loan [10].\.

\C\F2Stanford Artificial Intelligence Laboratory\F0
\JThe Stanford Artificial Intelligence Laboratory was started in
1963 and moved to its present location at 1600 Arastradero Road, Palo
Alto in 1966.  Since the beginning, our work has been mostly supported
by the Advanced Research Projects Agency of the Defense Department, but
we have also been supported by the National Science Foundation, the National
Aeronautics and Space Administration, the National Institute of Mental Health,
and private foundations.

Our research goals include all areas of artificial intelligence,
mathematical theory of computation (the problem of specifying properties
of computer programs and proving that the programs meet their
specifications), studies in natural language, and studies in time-sharing
and other aspects of computer systems.  However, the main work of the
laboratory since its inception has included the following:

	1. \F1Computer vision.\F0  Images are obtained from a television camera
and are processed to describe the scene in ways appropriate
to the purpose of the program.  These purposes include manipulation, driving
a vehicle, and simply checking our understanding of perceptual mechanisms.

	2. \F1Manipulation.\F0  Programs have been and are being developed to
assemble objects out of parts.  A recent program assembles the water
pump from a Model T Ford.

	3. \F1Driving a vehicle.\F0  A computer-controlled electric cart
equipped with television camera is being used in visual navigation experiments
both indoors and outdoors.

	4. \F1Theorem proving.\F0  Programs using J. Alan Robinson's resolution
method of proving theorems in first order logic are used to prove theorems
in mathematics, to prove properties of computer programs, and to generate
computer programs having prescribed properties.

	5. \F1Mathematical theory of computation.\F0  Methods for proving properties
of programs are developed.  Programs for checking proofs in first order logic
and in a special logic of computable functions have been developed.

	6. \F1Game playing.\F0  Some work in checkers, chess and go has been done,
but we are not active in this field at present.

	7. \F1Speech recognition,\F0 also inactive currently.

	8. \F1Design Automation.\F0  Programs have been written to allow
a computer designer to put logic diagrams and diagrams for printed circuit
cards in the computer.  This system produces tapes that control semi-automatic
manufacture of printed circuit cards and back panel wiring.

	9. \F1Natural language understanding.\F0  Programs are being developed
to "understand" and act upon information presented in the form of English text.

	10. \F1Time-sharing systems.\F0 There is also development of
time-sharing techniques especially for display oriented systems.

	11. \F1Music and Psychoacoustics.\F0  An affiliated group is developing
quadraphonic audio synthesis techniques that simulate acoustic spaces in which
simulated sound sources are placed in various locations and moved.\.

\C\F2Computer Facilities\F0
\JThe computer facilities of the laboratory comprise KL10 and KA10
processors, 393K words of core, six disk files,
six vector display terminals, 60 raster dispaly terminals,
A-D and D-A converters, and a connection to
the ARPA network.  There is also
a PDP-11/45 system for controlling real-time devices with 200k words of
MOS and core memory and an SPS-41 processor.   Connected to
the system are television cameras, mechanical arms, and a computer controllable
cart with a TV camera.\.

\C\F2Staff\F0
\JThe personnel of the laboratory include faculty and students of the
Computer Science Department and a few other departments at Stanford
University, the professional staff, and some research associates.
Potential graduate students wishing to specialize in artificial intelligence
and do research in the laboratory should usually apply for admission to
the Computer Science Department at Stanford University.  Potential research
associates should apply directly to the laboratory.\.

\C\F2References\F0

[1]  Turing, A. M. \F2Computing Machinery and Intelligence\F0, \F1Mind,\F0 1950.\;
 Reprinted in J. R.
     Newman (ed.), \F1The World of Mathematics,\F0 Vol. 4, p. 2099,\;
 Simon & Shuster, New York, 1956.

[2]  \F1Advance Papers, Fourth International Joint Conference on Artificial Intelligence,\F0
     Tbilisi, Georgia, U.S.S.R., 3-8 September 1975.  \;
[Order from:  IJCAI4; c/o Suzin Jabari;
     MIT-AI Laboratory; 545 Technology Square; Cambridge, MA 02139]

[3]  Newell, Allen and Simon, Herbert A., \F1Human Problem Solving\F0,\;
 Prentice-Hall, Englewood
     Cliffs, New Jersey, 1972.

[4]  Nilsson, Nils, \F1Problem Solving Methods in Artificial Intelligence\F0,\;
 McGraw-Hill, Inc., 1971.

[5]  Nilsson, Nils, \F2Artificial Intelligence\F0, in \F1Proc. IFIP Congress 1974\F0,\;
 Stockholm, Sweden, 1974.

[6]  Winston, Patrick, \F1Artificial Intelligence\F0, Addison-Wesley, 1977.

[7]  To obtain abstracts of recent Computer Science Reports, including A. I. Memos,\;
 write to:
	\F1Documentation Services
	Computer Science Department
	Stanford University
	Stanford, California 94305\F0

[8]  Earnest, Lester (ed.), \F2The First Ten Years of Artificial Intelligence\;
 Research at Stanford\F0,
     Stanford A.I. Lab. Memo AIM-228, July 1973.  Available in microfiche only from
     \F1Documentation Services\F0 (address in letterhead), or\;
 in hard copy or microfiche as accession
     No. ADA776233/9WC from:
	\F1National Technical Information Service
	5285 Port Royal Road
	Springfield, Virginia 22161\F0

[9]  Earnest, Lester, (ed.), \F2Recent Research in Artificial Intelligence,\;
 Heuristic Programming,
     and Network Protocols\F0, Stanford A. I. Lab Memo AIM-252, July 1974.\;
 Available in
     microfiche from A.I. Lab. (address in letterhead) or in hard copy or microfiche
     from N.T.I.S. (address just above) as accession No. ADA002246.

[10] To request a list of films on A. I. Lab. research, write to:
	\F1Documentation Services, Artificial Intelligence Lab.,\;
Stanford, California 94305\F0